200000[1,3]1 - www.SailDart.org

perm filename 200000[1,3]1 blob sn#033689 filedate 1973-04-06 generic text, type T, neo UTF8
NIL 

(((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)) (((2 (STRUC ((C~
TE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE ~
1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV))~
 (SINGLERING . 2) 2 ((2 1))) (2) (1)) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1~
 2))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) ((NIL~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2)) ((2 1))) (2 1)) (((2 (STRUC ((CTE 2 (~
C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 2)) (NIL (((3 (STRUC ((CTE 1 (C) 3 2 2 FV) ~
(CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 2)) (NIL (((2 (STRUC ((CTE 1~
 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1) (((3 (STRUC ((CTE 1 ~
(C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) (NIL (((2 ~
(STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 2)) (NIL ~
(((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1) (((3 (STRU~
C ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) ~
(NIL (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) .~
 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1)) (NIL ~
(((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 2)) (NIL (((3~
 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((1 2 3))))) . 1) (((3 (STRUC ((CT~
E 3 (C) 1 2 FV FV) (CTE 2 (C) 3 1 FV FV) (CTE 1 (C) 3 2 FV FV)) (SINGLERING . 3) 3 ((3 2 1)) ((3 1 2))))) . 1)) ~
(NIL (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1) (((3~
 (STRUC ((CTE 3 (C) 1 2 FV FV) (CTE 2 (C) 3 1 FV FV) (CTE 1 (C) 3 2 FV FV)) (SINGLERING . 3) 3 ((3 2 1)) ((3 1 2~
))))) . 1)) (NIL (((1 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 1 (C) 3 4 2 FV~
)) (4 B B) 4 ((4 3 2 1)) ((2 3 4 1)) ((3 2 4 1)) ((2 4 3 1)) ((4 2 3 1)) ((3 4 2 1))))) . 1) (((2 (STRUC ((CTE 2~
 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((1 (STRUC ((CTE 4 (C) 3 1 3 FV~
) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 3 2 1))))) . 1) (((2 (STRUC ((CT~
E 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 F~
V FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 ~
3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 4 2 3 ~
3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1) (((2 (STRUC ((CTE ~
2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV ~
FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 ~
FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV F~
V) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 F~
V) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 3 2 FV FV)) T21 4 ((2 3) (1)) ((3 2) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (~
C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 ~
(C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 3 2 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C~
) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 ~
(C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((2 1 3 4))))) . 1)) (NIL ((~
(2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 3) 4 (~
(1 2 3 4))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1))~
 (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC (~
(CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 2 4 FV FV)) (MBONDS . 4) 4 ((1 2 4 3)))~
)) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 ~
(STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 2 1 FV FV) (CTE 4 (C) 2 1 FV FV)) (MBONDS . 4) 4 ((1 ~
2 3 4)) ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 (~
(2 1))))) . 1) (((3 (STRUC ((CTE 2 (C) 4 4 1 1) (CTE 1 (C) 3 3 2 2) (CTE 3 (C) 1 1 FV FV) (CTE 4 (C) 2 2 FV FV))~
 (SINGLERING . 2) 4 ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . ~
3) 2 ((1 2))))) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 2 4~
 FV FV)) (MBONDS . 3) 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBOND~
S . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 4 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C)~
 2 4 FV FV)) (MBONDS . 3) 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (M~
BONDS . 3) 2 ((1 2))))) . 1) (((3 (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 2 1 FV FV) (CTE 4~
 (C) 2 1 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (~
C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 2~
 1 FV FV) (CTE 4 (C) 2 1 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 ~
2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((4 (STRUC ((CTE 1 (C) 3 4 2 2) (CTE 2 (C) 1 1 FV ~
FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 1 4 FV FV)) NIL 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 F~
V) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 3 4 2 2) (CTE 2 (C) 1 1 FV FV) (~
CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 1 4 FV FV)) NIL 4 ((1 2 4 3)) ((1 2 3 4))))) . 1)) ((NIL (STRUC ((CTE 6 (C) 4 1 ~
5 FV) (CTE 5 (C) 2 6 4 FV) (CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 3 6 2 FV)) ~
(6 B C B) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 5 1 5 FV) (CTE 5 (C) 6 6 4 FV) (CTE 4 (C) 3 5 3 FV) (CTE 3 (C) 4 4 2~
 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A A A) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 4 1 5 FV) (CTE 5 (C)~
 3 6 4 FV) (CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A B B) 6 NIL)~
)) ((NIL (STRUC ((CTE 6 (C) 3 1 5 FV) (CTE 5 (C) 4 6 4 FV) (CTE 4 (C) 5 5 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) ~
1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A C A) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 3 1 5 FV) (CTE 5 (C) 2 6 4 FV) (CTE ~
4 (C) 1 5 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 4 6 2 FV)) (6 C C C) 6 NIL))) ((NIL (STRUC ~
((CTE 1 (C) 6 2 3 4) (CTE 2 (C) 1 3 5 FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 2 4 FV) (CTE 6 ~
(C) 5 1 FV FV)) T41KITE 6 ((2 3 4 5) (1)) ((4 3 2 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 1 3 5 ~
FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 2 FV) (CTE 6 (C) 5 4 FV FV)) T41KITE 6 ((2 3 4 5) (~
1)) ((3 2 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 4 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 ~
3 5 FV) (CTE 5 (C) 1 3 4 FV) (CTE 6 (C) 2 1 FV FV)) T41SCOOP 6 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) ((NIL (STRUC (~
(CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 3 FV) (CTE 6 (~
C) 5 4 FV FV)) T41SCOOP 6 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 6 1 1 ~
FV) (CTE 3 (C) 6 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV) (CTE 6 (C) 3 2 FV FV)) T41SCOOP 6 ((2 3 4 5) ~
(1)) ((2 3 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 6 2 4 FV) (CTE 4 (C) 1~
 3 5 FV) (CTE 5 (C) 6 1 4 FV) (CTE 6 (C) 5 3 FV FV)) T41SCOOP 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 ~
2 4) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 3 4 FV) (CTE 6 (C) 5 1 FV FV)) ~
T41SCOOP 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 6 2 4 FV) (CTE 4~
 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 3 2 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) ~
6 2 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 6 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 1 FV F~
V)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 4 5 5) (CTE 2 (C) 6 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE~
 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 2 1 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C~
) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 6 2 2 FV) (CTE 4 (C) 6 1 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 3 FV~
 FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (C~
TE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 1 FV) (CTE 6 (C) 5 4 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 ~
(C) 6 2 4 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 1 4 FV) (CTE 6 (C) 5 1 ~
FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 6 2 4 FV) ~
(CTE 4 (C) 6 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 3 FV FV)) T41RING 6 ((2 3 4 5) (1)) ((5 4 3 2) (1))))) ((~
NIL (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 6 3 3 FV) (CTE 5 (C) 6 1 1 ~
FV) (CTE 6 (C) 5 4 FV FV)) T41RING 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 5 5) (CTE 2 (C) 6 1 3 FV) (~
CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 2 1 FV FV)) T41RING 6 ((2 3 4 5) (1))))~
) ((NIL (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 6 1 2 FV) (CTE 4 (C) 1 5 5 FV) (CTE 5 (C) 1 ~
4 4 FV) (CTE 6 (C) 3 2 FV FV)) T41HOURGLASS 6 ((2 3 4 5) (1)) ((3 2 4 5) (1)) ((2 3 5 4) (1)) ((3 2 5 4) (1)))))~
 ((NIL (STRUC ((CTE 1 (C) 6 2 3 4) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 1 2 2 FV) (CTE 4 (C) 1 5 5 FV) (CTE 5 (C) 6 4~
 4 FV) (CTE 6 (C) 5 1 FV FV)) T41HOURGLASS 6 ((2 3 4 5) (1)) ((3 2 4 5) (1))))) ((NIL (STRUC ((CTE 4 (C) 5 2 1 F~
V) (CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 1 (C) 3 4 2 FV) (CTE 5 (C) 6 6 4 3) (CTE 6 (C) 5 5 FV FV)) (4 ~
B B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV~
) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 6 6 2 1) (CTE 6 (C) 5 5 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3~
 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 2 4 2 FV) (C~
TE 5 (C) 6 6 3 2) (CTE 6 (C) 5 5 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV)~
 (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 6 2 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 A ~
A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 6 1 1 1) (CTE~
 1 (C) 2 2 4 2) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 5~
 1 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 4 6 FV FV~
)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 6 5 3~
 1) (CTE 1 (C) 6 5 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL ~
(STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 FV) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV) ~
(CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (~
C) 5 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))~
) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 6 2 2 2) (CTE 5 (C) 3 2~
 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C~
) 6 5 4 FV) (CTE 2 (C) 6 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3~
 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 5 1 FV) (CTE 3 (C) 6 5 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 5~
 (C) 4 3 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (~
CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 6 3 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 A A)~
 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 6 1 1 FV) (CTE 1 (C) 3 2 4 2~
) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE ~
3 (C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 6 2 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 (~
(4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 1 4 2) (CTE 2 (C) 6 3 1 FV) (CTE 1 (C)~
 6 3 4 2) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4~
 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 6 5 3 FV) (CTE 1 (C) 6 5 3 4) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1~
 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 1 4 4) (CTE 2 (C) 6 5 1 FV) (C~
TE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C)~
 6 3 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 6 5 3 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 1 FV ~
FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1~
 (C) 6 5 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 1 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3~
 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 6 3 2 2) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 1 FV FV))~
 (4 A A) 6 ((4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 5 4 4) (CTE 2 (C) 6 1 1 FV~
) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4~
 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 6 4 2 FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6~
 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CT~
E 1 (C) 6 2 2 FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC~
 ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 6 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 6 (C) 2 5 FV FV) (CTE 5~
 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 2 4 2) (CT~
E 2 (C) 6 3 3 1) (CTE 1 (C) 6 4 2 FV) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3~
 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 6 5 3 3) (CTE 1 (C) 6 5 4 FV) (CTE 5 (~
C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 2 4 ~
4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 6 5 2 FV) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1))~
))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 2) (CTE 2 (C) 6 5 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2~
 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 5 4 4 2)~
 (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 6 2 2 FV) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1~
 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 5 4 4) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 2 4 2 FV) (CTE~
 5 (C) 3 2 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 2 1 3 FV)~
 (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 6 3 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 B ~
B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 2 1 FV) (CTE 3 (C) 6 1 2 FV) ~
(CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 B B) 6 ((4 3 2 1)) ((3 4~
 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 1 3 1) (C~
TE 1 (C) 2 3 4 2) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C)~
 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 5 4 3) (CTE 1 (C) 6 5 3 4) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV ~
FV)) (4 B B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 6 2 1 FV) (CTE 3 (C) ~
6 1 2 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 B B) 6 ((4 3 2~
 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6~
 5 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC (~
(CTE 4 (C) 6 5 1 FV) (CTE 3 (C) 6 1 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV) (CTE 6 (~
C) 4 3 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 1 3~
 1) (CTE 1 (C) 5 2 3 2) (CTE 5 (C) 4 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) ((4 3 1 2))))) ((NIL ~
(STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 5 1 4 FV) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 3 2 FV FV) ~
(CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) ((3 4 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 5 4 2 ~
FV) (CTE 2 (C) 6 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) (~
(3 4 1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 4 3 3) (CTE 2 (C) 5 4 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 2 1) (C~
TE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 5 4~
 1 FV) (CTE 3 (C) 5 1 1 FV) (CTE 4 (C) 6 6 2 1) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))~
) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 5 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 5 1) (CTE 5 (C) 4 2~
 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE ~
3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 5 2) (CTE 5 (C) 4 1 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STR~
UC ((CTE 1 (C) 5 4 2 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 5 1 2 FV) (CTE 4 (C) 6 6 2 1) (CTE 5 (C) 3 1 FV FV) (CTE~
 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 5 1 1 FV) (CTE 3 (C) 4 1 1 ~
FV) (CTE 4 (C) 6 6 5 3) (CTE 5 (C) 4 2 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((4) (2 3) (1))))) ((NIL (STRUC ((CTE~
 1 (C) 5 2 2 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 5 4 1 FV) (CTE 4 (C) 6 6 3 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 4~
 4 FV FV)) T21 6 ((4) (2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 5 3 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 3 (C) 4 4 2 1) ~
(CTE 4 (C) 6 6 3 3) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((4) (3) (1 2)) ((4) (3) (2 1)))~
)) ((NIL (STRUC ((CTE 1 (C) 5 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 5 4 4 2) (CTE 4 (C) 6 6 3 3) (CTE 5 (C) 3 ~
1 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((4) (3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) ~
3 1 1 FV) (CTE 3 (C) 5 4 2 1) (CTE 4 (C) 6 6 5 3) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((~
4) (3) (1 2)) ((4) (3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CT~
E 4 (C) 5 6 2 1) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 ~
3 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 5 6 3 2) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) ~
T21 6 ((2 3) (1)) ((3 2) (1))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CT~
E 4 (C) 5 6 3 3) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 4 2~
 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 6 6 1 3) (CTE 3 (C) 5 5 2 4) (CTE 5 (C) 3 3 FV FV) (CTE 6 (C) 4 4 FV FV))~
 (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 6 6 2 1) (CTE 4 (C) 5 ~
5 2 1) (CTE 5 (C) 4 4 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 6 2 3 3) (CTE~
 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 6 4 FV FV) (CTE 4 (C) 2 5 FV FV)) T03 6 ((1~
 2 3)) ((2 1 3))))) ((NIL (STRUC ((CTE 1 (C) 6 4 3 3) (CTE 2 (C) 5 4 3 3) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV ~
FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) T03 6 ((1 2 3)) ((2 1 3))))) ((NIL (STRUC ((CTE 1 (C) 6 4 2 3) ~
(CTE 2 (C) 5 3 3 1) (CTE 3 (C) 4 1 2 2) (CTE 4 (C) 3 1 FV FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) T03 6~
 ((1 2 3))))) ((NIL (STRUC ((CTE 1 (C) 6 5 3 3) (CTE 2 (C) 6 5 4 3) (CTE 3 (C) 4 1 1 2) (CTE 4 (C) 3 2 FV FV) (C~
TE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) T03 6 ((1 2 3))))) ((NIL (STRUC ((CTE 1 (C) 6 5 2 3) (CTE 2 (C) 6 4 3~
 1) (CTE 3 (C) 5 4 1 2) (CTE 4 (C) 3 2 FV FV) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 2 1 FV FV)) T03 6 ((1 2 3)) ((2 1~
 3)) ((1 3 2)) ((3 1 2)) ((2 3 1)) ((3 2 1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 2 2) (CTE 2 (C) 4 1 1 1) (CTE 3 (C)~
 6 6 5 4) (CTE 4 (C) 3 2 FV FV) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 ~
1))))) ((NIL (STRUC ((CTE 1 (C) 5 4 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 6 6 5 2) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C~
) 3 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 4 3 2) (CTE 2 (C) 5~
 4 3 1) (CTE 3 (C) 6 6 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((~
3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 6 6 4 2) (CTE 5 (C) 1 ~
4 FV FV) (CTE 4 (C) 3 5 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 3~
 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 6 6 2 1) (CTE 5 (C) 1 4 FV FV) (CTE 4 (C) 2 5 FV FV) (CTE 6 (C) 3 3 FV FV))~
 (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 5 6 ~
4 2) (CTE 4 (C) 3 1 FV FV) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STR~
UC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 5 6 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 6 (C) 3 5 FV FV) (CTE~
 5 (C) 3 6 FV FV)) (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 ~
1) (CTE 3 (C) 4 6 2 1) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 6 4 FV FV) (CTE 4 (C) 3 5 FV FV)) (MBONDS . 4) 6 NIL))) ~
((NIL (STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 6 6 1 1) (CTE 3 (C) 5 5 4 1) (CTE 4 (C) 3 1 FV FV) (CTE 5 (C) 3 3 F~
V FV) (CTE 6 (C) 2 2 FV FV)) NIL 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 5 6 1 1) (CTE 3 (~
C) 4 4 1 1) (CTE 4 (C) 3 3 FV FV) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 2 6 FV FV)) NIL 6 ((2 3) (1))))) ((NIL (STRUC~
 ((CTE 3 (C) 6 6 1 2) (CTE 2 (C) 5 5 3 1) (CTE 1 (C) 4 4 3 2) (CTE 4 (C) 1 1 FV FV) (CTE 5 (C) 2 2 FV FV) (CTE 6~
 (C) 3 3 FV FV)) (SINGLERING . 3) 6 NIL))) (C (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLER~
ING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2~
 3) (1))))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)~
) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))))) . 1~
)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (1)) ((C) . 1) (((~
3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))))) . 1)) ((NIL (STRUC~
 ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))) (3) (2)) ((C) . 1) (((2 (STR~
UC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (C (((2 (STRUC ((CTE 2 (C) ~
1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C)~
 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 ~
FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE~
 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGL~
ERING . 2) 2 ((2 1))) (2) (1)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV ~
FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (M~
BONDS . 4) 3 NIL) (3) (3)) ((C) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) ~
2 ((2 1))))) . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((~
3 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3)))))~
 . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((C~
TE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1)) ((NIL (STRUC ((~
CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (2) (3)) ((C) . 1) (((~
2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 ~
2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (2) (1)) ((C) . 1) (((2 (STRUC ((C~
TE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE~
 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))) (3) (3)) ((C) . 1) (((2 (STRUC ((CTE~
 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2~
 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (3) (2)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2~
 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 F~
V)) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C)~
 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)~
) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2~
 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS ~
. 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2~
 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))) (2~
) (2)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (~
STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))) (2) (3)) ((C) . 1) (((2~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2~
 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 ~
(C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 3 4 5) (~
CTE 2 (C) 1 3 5 FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 2 4 FV)) T41KITE 5 ((2 3 4 5) (1)) ((~
4 3 2 5) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV)~
 (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV)) T41SCOOP 5 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) . 1)) (NIL ((C) . 1) (~
((2 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 ~
FV)) T41SCOOP 5 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 ~
(C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV)) T41SCOOP 5 ((2 3 4 5) (1))))) . 1)~
) (NIL ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV)~
 (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 ~
(C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) ~
(NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (~
CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C~
) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (N~
IL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CT~
E 5 (C) 1 1 4 FV)) T41RING 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C)~
 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41RING 5 ((2 3 4 5) (1))))) . 1)) (N~
IL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 1 2 2 FV) (CTE 4 (C) 1 5 5 FV) (CT~
E 5 (C) 1 4 4 FV)) T41HOURGLASS 5 ((2 3 4 5) (1)) ((3 2 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C~
) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 ~
2 1)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 ~
3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE ~
4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((~
4 3 2 1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CT~
E 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 ~
1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1)~
)))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) ~
2 2 4 2) (CTE 5 (C) 4 3 FV FV)) (4 A A) 5 ((4 3 2 1)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C~
) 5 1 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 4 3 FV FV)) (4 A A) 5 ((4 3 ~
2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 ~
(C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 ~
FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1)))))~
 . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 3 ~
4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE~
 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (~
NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CT~
E 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5~
 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C)~
 . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) ~
3 1 FV FV)) (4 A A) 5 ((4 3 2 1)) ((2 1 4 3))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (~
C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ~
((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 ~
(C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((1 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4~
 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1~
) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2 1 ~
FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE~
 2 (C) 3 1 3 1) (CTE 1 (C) 5 2 2 FV) (CTE 5 (C) 4 1 FV FV)) (4 A A) 5 ((4 3 2 1)) ((1 2 3 4))))) . 1)) (NIL ((C)~
 . 1) (((1 (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 5 2 2 FV) (CTE 5 (C) ~
4 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) ~
(CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1)) ((1 2 3 4))))) . 1)) (NIL ~
((C) . 1) (((1 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 5 ~
(C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2~
 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 B B) 5 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)~
) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 4 3 1)~
 (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 B B) 5 ((4 3 2 1)) ((4 3 1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRU~
C ((CTE 4 (C) 5 2 1 FV) (CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 3 FV FV)) (4 B~
 B) 5 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 5 2 1 FV) ~
(CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 3 FV FV)) (4 B B) 5 ((4 3 2 1)) ((4 3 ~
1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 ~
(C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 5 1 3 ~
FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1)))))~
 . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 ~
4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE ~
2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ~
((C) . 1) (((2 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 ~
(C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) ~
(CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((5 (~
STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 5 5 3 2) (CTE 5 (C) 4 4 FV FV)) ~
T21 5 ((2 3) (1)) ((3 2) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 FV) (CTE~
 3 (C) 4 1 1 FV) (CTE 4 (C) 5 5 3 2) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRU~
C ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 5 5 3 3) (CTE 5 (C) 4 4 FV FV)) (MBO~
NDS . 3) 5 ((1 2 3 4 5)) ((2 1 3 4 5))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 ~
1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 5 5 3 3) (CTE 5 (C) 4 4 FV FV)) (MBONDS . 3) 5 ((1 2 3 4 5))))) . 1)) (NIL ~
((C) . 1) (((4 (STRUC ((CTE 1 (C) 5 2 3 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 2) (CTE 5 (C) 1 4 FV FV) (CTE 4 ~
(C) 2 5 FV FV)) T03 5 ((4 5) (1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 5 4 3 3) (CTE 2 (C) 5 4 3 ~
3) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 2 1 FV FV)) T03 5 ((5 4) (1 2 3)) ((5 4) (2 1 3))))) . 1~
)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 5 4 2 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 5 1 2 2) (CTE 4 (C) 2 1 FV FV)~
 (CTE 5 (C) 3 1 FV FV)) T03 5 ((5 4) (1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C~
) 3 1 1 1) (CTE 3 (C) 5 5 4 2) (CTE 4 (C) 3 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2))))) ~
. 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 5 5 4 2) (CTE 4 (C) 3 1 FV ~
FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 3 ~
2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 5 5 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) ~
(3) (1 2)) ((4 5) (3) (2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3~
 (C) 5 5 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2)) ((4 5) (3) (2 1)))))~
 . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 5 2 1) (CTE 5 (C) 3 4 FV~
 FV) (CTE 4 (C) 3 5 FV FV)) (MBONDS . 4) 5 ((1 2 3 5 4)) ((2 1 3 5 4))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE~
 1 (C) 3 3 2 2) (CTE 2 (C) 5 5 1 1) (CTE 3 (C) 4 4 1 1) (CTE 4 (C) 3 3 FV FV) (CTE 5 (C) 2 2 FV FV)) NIL 5 ((1 2~
 3 4 5))))) . 1)) (C ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2)))))~
 . 2)) (NIL ((C ((C) . 1)) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) ~
(1)) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 1)) (NIL ((C (((2~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 2)) (NIL ((C (((2 (STRUC (~
(CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV~
) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (1)) ((C) . 1)) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CT~
E 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (1)) ((C) . 1)) . 2)) (C ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) ~
(CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2)) (4 A A) 4 ((4 3 2 1))))) . 1)) ((NIL (STRUC ((CTE ~
4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2)) (4 A A) 4 ((4 3 2 1)) ((3 4 1 2)))~
 (3 4)) ((C) . 2)) (C ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE ~
1 (C) 3 2 4 2)) (4 A A) 4 ((4 3 2 1))))) . 1)) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C)~
 1 3 1 FV) (CTE 1 (C) 3 2 4 2)) (4 A A) 4 ((4 3 2 1)) ((2 1 4 3))) (2 4)) ((C) . 2)) (C ((C) . 1) (((1 (STRUC ((~
CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 3 2 1))))) . 1))~
 ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 ~
3 2 1)) ((1 2 3 4))) (1 4)) ((C) . 2)) (C ((C) . 1) (((3 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE ~
2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2)) (4 B B) 4 ((4 3 2 1)) ((4 3 1 2))))) . 1)) ((NIL (STRUC ((CTE 4 (C) 2 1 3 FV~
) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2)) (4 B B) 4 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((~
3 4 1 2))) (3 4)) ((C) . 2)) (C ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 ~
2) (CTE 4 (C) 2 1 FV FV)) T03 4 ((1 2 3)) ((2 1 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 3 3 ~
1) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV FV)) T03 4 ((1 2 3)) ((2 1 3))) (4 4)) ((C) . 2)) (C ((C) . 1) (((4 (ST~
RUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 4) 4 NIL))) . ~
1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 4~
) 4 NIL) (4 4)) ((C) . 2))) 
(((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)) (((2 (STRUC ((C~
TE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE ~
1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV))~
 (SINGLERING . 2) 2 ((2 1))) (2) (1)) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1~
 2))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) ((NIL~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2)) ((2 1))) (2 1)) (((2 (STRUC ((CTE 2 (~
C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 2)) (NIL (((3 (STRUC ((CTE 1 (C) 3 2 2 FV) ~
(CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 2)) (NIL (((2 (STRUC ((CTE 1~
 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1) (((3 (STRUC ((CTE 1 ~
(C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) (NIL (((2 ~
(STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 2)) (NIL ~
(((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1) (((3 (STRU~
C ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) ~
(NIL (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) .~
 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1)) (NIL ~
(((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 2)) (NIL (((3~
 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((1 2 3))))) . 1) (((3 (STRUC ((CT~
E 3 (C) 1 2 FV FV) (CTE 2 (C) 3 1 FV FV) (CTE 1 (C) 3 2 FV FV)) (SINGLERING . 3) 3 ((3 2 1)) ((3 1 2))))) . 1)) ~
(NIL (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1) (((3~
 (STRUC ((CTE 3 (C) 1 2 FV FV) (CTE 2 (C) 3 1 FV FV) (CTE 1 (C) 3 2 FV FV)) (SINGLERING . 3) 3 ((3 2 1)) ((3 1 2~
))))) . 1)) (NIL (((1 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 1 (C) 3 4 2 FV~
)) (4 B B) 4 ((4 3 2 1)) ((2 3 4 1)) ((3 2 4 1)) ((2 4 3 1)) ((4 2 3 1)) ((3 4 2 1))))) . 1) (((2 (STRUC ((CTE 2~
 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((1 (STRUC ((CTE 4 (C) 3 1 3 FV~
) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 3 2 1))))) . 1) (((2 (STRUC ((CT~
E 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 F~
V FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 ~
3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 4 2 3 ~
3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1) (((2 (STRUC ((CTE ~
2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV ~
FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 ~
FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 2 1 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV F~
V) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 F~
V) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 3 2 FV FV)) T21 4 ((2 3) (1)) ((3 2) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (~
C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 ~
(C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 3 2 FV FV)) T21 4 ((2 3) (1))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C~
) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 ~
(C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((2 1 3 4))))) . 1)) (NIL ((~
(2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 3) 4 (~
(1 2 3 4))))) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1))~
 (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((4 (STRUC (~
(CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 2 4 FV FV)) (MBONDS . 4) 4 ((1 2 4 3)))~
)) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 ~
(STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 2 1 FV FV) (CTE 4 (C) 2 1 FV FV)) (MBONDS . 4) 4 ((1 ~
2 3 4)) ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 (~
(2 1))))) . 1) (((3 (STRUC ((CTE 2 (C) 4 4 1 1) (CTE 1 (C) 3 3 2 2) (CTE 3 (C) 1 1 FV FV) (CTE 4 (C) 2 2 FV FV))~
 (SINGLERING . 2) 4 ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . ~
3) 2 ((1 2))))) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 2 4~
 FV FV)) (MBONDS . 3) 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBOND~
S . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 4 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C)~
 2 4 FV FV)) (MBONDS . 3) 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (M~
BONDS . 3) 2 ((1 2))))) . 1) (((3 (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 2 1 FV FV) (CTE 4~
 (C) 2 1 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((2 1 3 4))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (~
C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 2~
 1 FV FV) (CTE 4 (C) 2 1 FV FV)) (MBONDS . 3) 4 ((1 2 3 4)) ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 ~
2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((4 (STRUC ((CTE 1 (C) 3 4 2 2) (CTE 2 (C) 1 1 FV ~
FV) (CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 1 4 FV FV)) NIL 4 ((1 2 4 3))))) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 F~
V) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 3 4 2 2) (CTE 2 (C) 1 1 FV FV) (~
CTE 4 (C) 1 3 FV FV) (CTE 3 (C) 1 4 FV FV)) NIL 4 ((1 2 4 3)) ((1 2 3 4))))) . 1)) ((NIL (STRUC ((CTE 6 (C) 4 1 ~
5 FV) (CTE 5 (C) 2 6 4 FV) (CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 3 6 2 FV)) ~
(6 B C B) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 5 1 5 FV) (CTE 5 (C) 6 6 4 FV) (CTE 4 (C) 3 5 3 FV) (CTE 3 (C) 4 4 2~
 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A A A) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 4 1 5 FV) (CTE 5 (C)~
 3 6 4 FV) (CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A B B) 6 NIL)~
)) ((NIL (STRUC ((CTE 6 (C) 3 1 5 FV) (CTE 5 (C) 4 6 4 FV) (CTE 4 (C) 5 5 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) ~
1 3 1 FV) (CTE 1 (C) 2 6 2 FV)) (6 A C A) 6 NIL))) ((NIL (STRUC ((CTE 6 (C) 3 1 5 FV) (CTE 5 (C) 2 6 4 FV) (CTE ~
4 (C) 1 5 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 4 6 2 FV)) (6 C C C) 6 NIL))) ((NIL (STRUC ~
((CTE 1 (C) 6 2 3 4) (CTE 2 (C) 1 3 5 FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 2 4 FV) (CTE 6 ~
(C) 5 1 FV FV)) T41KITE 6 ((2 3 4 5) (1)) ((4 3 2 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 1 3 5 ~
FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 2 FV) (CTE 6 (C) 5 4 FV FV)) T41KITE 6 ((2 3 4 5) (~
1)) ((3 2 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 4 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 ~
3 5 FV) (CTE 5 (C) 1 3 4 FV) (CTE 6 (C) 2 1 FV FV)) T41SCOOP 6 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) ((NIL (STRUC (~
(CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 3 FV) (CTE 6 (~
C) 5 4 FV FV)) T41SCOOP 6 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 6 1 1 ~
FV) (CTE 3 (C) 6 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV) (CTE 6 (C) 3 2 FV FV)) T41SCOOP 6 ((2 3 4 5) ~
(1)) ((2 3 5 4) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 6 2 4 FV) (CTE 4 (C) 1~
 3 5 FV) (CTE 5 (C) 6 1 4 FV) (CTE 6 (C) 5 3 FV FV)) T41SCOOP 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 ~
2 4) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 3 4 FV) (CTE 6 (C) 5 1 FV FV)) ~
T41SCOOP 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 6 2 4 FV) (CTE 4~
 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 3 2 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) ~
6 2 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 6 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 1 FV F~
V)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 4 5 5) (CTE 2 (C) 6 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE~
 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 2 1 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C~
) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 6 2 2 FV) (CTE 4 (C) 6 1 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 3 FV~
 FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (C~
TE 4 (C) 6 1 3 FV) (CTE 5 (C) 6 1 1 FV) (CTE 6 (C) 5 4 FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 ~
(C) 6 2 4 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 6 1 4 FV) (CTE 6 (C) 5 1 ~
FV FV)) T41FAN 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 6 2 4 FV) ~
(CTE 4 (C) 6 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 4 3 FV FV)) T41RING 6 ((2 3 4 5) (1)) ((5 4 3 2) (1))))) ((~
NIL (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 6 3 3 FV) (CTE 5 (C) 6 1 1 ~
FV) (CTE 6 (C) 5 4 FV FV)) T41RING 6 ((2 3 4 5) (1))))) ((NIL (STRUC ((CTE 1 (C) 6 2 5 5) (CTE 2 (C) 6 1 3 FV) (~
CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CTE 5 (C) 1 1 4 FV) (CTE 6 (C) 2 1 FV FV)) T41RING 6 ((2 3 4 5) (1))))~
) ((NIL (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 6 1 3 FV) (CTE 3 (C) 6 1 2 FV) (CTE 4 (C) 1 5 5 FV) (CTE 5 (C) 1 ~
4 4 FV) (CTE 6 (C) 3 2 FV FV)) T41HOURGLASS 6 ((2 3 4 5) (1)) ((3 2 4 5) (1)) ((2 3 5 4) (1)) ((3 2 5 4) (1)))))~
 ((NIL (STRUC ((CTE 1 (C) 6 2 3 4) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 1 2 2 FV) (CTE 4 (C) 1 5 5 FV) (CTE 5 (C) 6 4~
 4 FV) (CTE 6 (C) 5 1 FV FV)) T41HOURGLASS 6 ((2 3 4 5) (1)) ((3 2 4 5) (1))))) ((NIL (STRUC ((CTE 4 (C) 5 2 1 F~
V) (CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 1 (C) 3 4 2 FV) (CTE 5 (C) 6 6 4 3) (CTE 6 (C) 5 5 FV FV)) (4 ~
B B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV~
) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 6 6 2 1) (CTE 6 (C) 5 5 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3~
 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 2 4 2 FV) (C~
TE 5 (C) 6 6 3 2) (CTE 6 (C) 5 5 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV)~
 (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 6 2 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 A ~
A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 6 1 1 1) (CTE~
 1 (C) 2 2 4 2) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 5~
 1 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 4 6 FV FV~
)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 6 5 3~
 1) (CTE 1 (C) 6 5 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL ~
(STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 FV) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV) ~
(CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 6 4 2 FV) (CTE 2 (~
C) 5 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))~
) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 6 2 2 2) (CTE 5 (C) 3 2~
 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C~
) 6 5 4 FV) (CTE 2 (C) 6 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3~
 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 5 1 FV) (CTE 3 (C) 6 5 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 5~
 (C) 4 3 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 A A) 6 ((4 3 2 1)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (~
CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 6 3 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 A A)~
 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 6 1 1 FV) (CTE 1 (C) 3 2 4 2~
) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE ~
3 (C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 6 2 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (4 A A) 6 (~
(4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 1 4 2) (CTE 2 (C) 6 3 1 FV) (CTE 1 (C)~
 6 3 4 2) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4~
 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 6 5 3 FV) (CTE 1 (C) 6 5 3 4) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1~
 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 1 4 4) (CTE 2 (C) 6 5 1 FV) (C~
TE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C)~
 6 3 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 6 5 3 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 1 FV ~
FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1~
 (C) 6 5 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 1 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3~
 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 6 3 2 2) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 1 FV FV))~
 (4 A A) 6 ((4 3 2 1)) ((2 1 4 3))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 5 4 4) (CTE 2 (C) 6 1 1 FV~
) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4~
 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 6 4 2 FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6~
 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CT~
E 1 (C) 6 2 2 FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC~
 ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 6 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 6 (C) 2 5 FV FV) (CTE 5~
 (C) 3 6 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 2 4 2) (CT~
E 2 (C) 6 3 3 1) (CTE 1 (C) 6 4 2 FV) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3~
 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 6 5 3 3) (CTE 1 (C) 6 5 4 FV) (CTE 5 (~
C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 2 4 ~
4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 6 5 2 FV) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1))~
))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 4 4 2) (CTE 2 (C) 6 5 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2~
 1 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 3 3 FV) (CTE 3 (C) 5 4 4 2)~
 (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 6 2 2 FV) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 1 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1~
 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 6 5 4 4) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 2 4 2 FV) (CTE~
 5 (C) 3 2 FV FV) (CTE 6 (C) 3 2 FV FV)) (4 A A) 6 ((4 3 2 1)) ((1 2 3 4))))) ((NIL (STRUC ((CTE 4 (C) 2 1 3 FV)~
 (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 6 3 4 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) (4 B ~
B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 2 1 FV) (CTE 3 (C) 6 1 2 FV) ~
(CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 B B) 6 ((4 3 2 1)) ((3 4~
 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 1 3 1) (C~
TE 1 (C) 2 3 4 2) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C)~
 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 5 4 3) (CTE 1 (C) 6 5 3 4) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV ~
FV)) (4 B B) 6 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 6 2 1 FV) (CTE 3 (C) ~
6 1 2 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 3 FV FV)) (4 B B) 6 ((4 3 2~
 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6~
 5 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC (~
(CTE 4 (C) 6 5 1 FV) (CTE 3 (C) 6 1 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV) (CTE 6 (~
C) 4 3 FV FV)) (4 B B) 6 ((4 3 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 5 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 6 1 3~
 1) (CTE 1 (C) 5 2 3 2) (CTE 5 (C) 4 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) ((4 3 1 2))))) ((NIL ~
(STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 5 1 4 FV) (CTE 2 (C) 6 5 1 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 3 2 FV FV) ~
(CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) ((3 4 2 1))))) ((NIL (STRUC ((CTE 4 (C) 6 1 3 FV) (CTE 3 (C) 5 4 2 ~
FV) (CTE 2 (C) 6 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 4 2 FV FV)) (4 B B) 6 ((4 3 2 1)) (~
(3 4 1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 4 3 3) (CTE 2 (C) 5 4 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 2 1) (C~
TE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 5 4~
 1 FV) (CTE 3 (C) 5 1 1 FV) (CTE 4 (C) 6 6 2 1) (CTE 5 (C) 3 2 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))~
) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 5 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 5 1) (CTE 5 (C) 4 2~
 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE ~
3 (C) 1 1 2 FV) (CTE 4 (C) 6 6 5 2) (CTE 5 (C) 4 1 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STR~
UC ((CTE 1 (C) 5 4 2 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 5 1 2 FV) (CTE 4 (C) 6 6 2 1) (CTE 5 (C) 3 1 FV FV) (CTE~
 6 (C) 4 4 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 5 1 1 FV) (CTE 3 (C) 4 1 1 ~
FV) (CTE 4 (C) 6 6 5 3) (CTE 5 (C) 4 2 FV FV) (CTE 6 (C) 4 4 FV FV)) T21 6 ((4) (2 3) (1))))) ((NIL (STRUC ((CTE~
 1 (C) 5 2 2 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 5 4 1 FV) (CTE 4 (C) 6 6 3 2) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 4~
 4 FV FV)) T21 6 ((4) (2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 5 3 2 FV) (CTE 2 (C) 5 3 1 FV) (CTE 3 (C) 4 4 2 1) ~
(CTE 4 (C) 6 6 3 3) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((4) (3) (1 2)) ((4) (3) (2 1)))~
)) ((NIL (STRUC ((CTE 1 (C) 5 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 5 4 4 2) (CTE 4 (C) 6 6 3 3) (CTE 5 (C) 3 ~
1 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((4) (3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) ~
3 1 1 FV) (CTE 3 (C) 5 4 2 1) (CTE 4 (C) 6 6 5 3) (CTE 5 (C) 4 3 FV FV) (CTE 6 (C) 4 4 FV FV)) (MBONDS . 3) 6 ((~
4) (3) (1 2)) ((4) (3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CT~
E 4 (C) 5 6 2 1) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) T21 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 2 2 ~
3 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 5 6 3 2) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) ~
T21 6 ((2 3) (1)) ((3 2) (1))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CT~
E 4 (C) 5 6 3 3) (CTE 6 (C) 4 5 FV FV) (CTE 5 (C) 4 6 FV FV)) (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 4 2~
 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 4 (C) 6 6 1 3) (CTE 3 (C) 5 5 2 4) (CTE 5 (C) 3 3 FV FV) (CTE 6 (C) 4 4 FV FV))~
 (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 4 3 2 FV) (CTE 2 (C) 4 3 1 FV) (CTE 3 (C) 6 6 2 1) (CTE 4 (C) 5 ~
5 2 1) (CTE 5 (C) 4 4 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 3) 6 NIL))) ((NIL (STRUC ((CTE 1 (C) 6 2 3 3) (CTE~
 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 2) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 6 4 FV FV) (CTE 4 (C) 2 5 FV FV)) T03 6 ((1~
 2 3)) ((2 1 3))))) ((NIL (STRUC ((CTE 1 (C) 6 4 3 3) (CTE 2 (C) 5 4 3 3) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV ~
FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) T03 6 ((1 2 3)) ((2 1 3))))) ((NIL (STRUC ((CTE 1 (C) 6 4 2 3) ~
(CTE 2 (C) 5 3 3 1) (CTE 3 (C) 4 1 2 2) (CTE 4 (C) 3 1 FV FV) (CTE 6 (C) 1 5 FV FV) (CTE 5 (C) 2 6 FV FV)) T03 6~
 ((1 2 3))))) ((NIL (STRUC ((CTE 1 (C) 6 5 3 3) (CTE 2 (C) 6 5 4 3) (CTE 3 (C) 4 1 1 2) (CTE 4 (C) 3 2 FV FV) (C~
TE 5 (C) 2 1 FV FV) (CTE 6 (C) 2 1 FV FV)) T03 6 ((1 2 3))))) ((NIL (STRUC ((CTE 1 (C) 6 5 2 3) (CTE 2 (C) 6 4 3~
 1) (CTE 3 (C) 5 4 1 2) (CTE 4 (C) 3 2 FV FV) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 2 1 FV FV)) T03 6 ((1 2 3)) ((2 1~
 3)) ((1 3 2)) ((3 1 2)) ((2 3 1)) ((3 2 1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 2 2) (CTE 2 (C) 4 1 1 1) (CTE 3 (C)~
 6 6 5 4) (CTE 4 (C) 3 2 FV FV) (CTE 5 (C) 3 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 ~
1))))) ((NIL (STRUC ((CTE 1 (C) 5 4 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 6 6 5 2) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C~
) 3 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 4 3 2) (CTE 2 (C) 5~
 4 3 1) (CTE 3 (C) 6 6 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 2 1 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((~
3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 5 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 6 6 4 2) (CTE 5 (C) 1 ~
4 FV FV) (CTE 4 (C) 3 5 FV FV) (CTE 6 (C) 3 3 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STRUC ((CTE 1 (C) 5 3~
 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 6 6 2 1) (CTE 5 (C) 1 4 FV FV) (CTE 4 (C) 2 5 FV FV) (CTE 6 (C) 3 3 FV FV))~
 (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 5 6 ~
4 2) (CTE 4 (C) 3 1 FV FV) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 3 6 FV FV)) (MBONDS . 4) 6 ((3) (1 2))))) ((NIL (STR~
UC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 5 6 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 6 (C) 3 5 FV FV) (CTE~
 5 (C) 3 6 FV FV)) (MBONDS . 4) 6 ((3) (1 2)) ((3) (2 1))))) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 ~
1) (CTE 3 (C) 4 6 2 1) (CTE 6 (C) 3 5 FV FV) (CTE 5 (C) 6 4 FV FV) (CTE 4 (C) 3 5 FV FV)) (MBONDS . 4) 6 NIL))) ~
((NIL (STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 6 6 1 1) (CTE 3 (C) 5 5 4 1) (CTE 4 (C) 3 1 FV FV) (CTE 5 (C) 3 3 F~
V FV) (CTE 6 (C) 2 2 FV FV)) NIL 6 ((2 3) (1))))) ((NIL (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 5 6 1 1) (CTE 3 (~
C) 4 4 1 1) (CTE 4 (C) 3 3 FV FV) (CTE 6 (C) 2 5 FV FV) (CTE 5 (C) 2 6 FV FV)) NIL 6 ((2 3) (1))))) ((NIL (STRUC~
 ((CTE 3 (C) 6 6 1 2) (CTE 2 (C) 5 5 3 1) (CTE 1 (C) 4 4 3 2) (CTE 4 (C) 1 1 FV FV) (CTE 5 (C) 2 2 FV FV) (CTE 6~
 (C) 3 3 FV FV)) (SINGLERING . 3) 6 NIL))) (C (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLER~
ING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2~
 3) (1))))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)~
) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))))) . 1~
)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (1)) ((C) . 1) (((~
3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))))) . 1)) ((NIL (STRUC~
 ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 1 1 2 FV)) T21 3 ((2 3) (1))) (3) (2)) ((C) . 1) (((2 (STR~
UC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1)) (C (((2 (STRUC ((CTE 2 (C) ~
1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) 2 ((2 1))))) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C)~
 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 ~
FV FV)) (SINGLERING . 2) 2 ((2 1))) (2) (2)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE~
 3 (C) 2 1 FV FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGL~
ERING . 2) 2 ((2 1))) (2) (1)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV ~
FV)) (MBONDS . 4) 3 NIL))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 2 1 FV FV)) (M~
BONDS . 4) 3 NIL) (3) (3)) ((C) . 1) (((2 (STRUC ((CTE 2 (C) 1 1 FV FV) (CTE 1 (C) 2 2 FV FV)) (SINGLERING . 2) ~
2 ((2 1))))) . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((~
3 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3)))))~
 . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1) (((2 (STRUC ((C~
TE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1)) ((NIL (STRUC ((~
CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (2) (3)) ((C) . 1) (((~
2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 ~
2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (2) (1)) ((C) . 1) (((2 (STRUC ((C~
TE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE~
 2 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))) (3) (3)) ((C) . 1) (((2 (STRUC ((CTE~
 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2~
 (C) 3 1 1 FV) (CTE 3 (C) 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))) (3) (2)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2~
 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 F~
V)) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((3 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C)~
 2 1 FV FV)) (MBONDS . 3) 3 ((1 2 3)) ((2 1 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)~
) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 2~
 1 FV FV)) (MBONDS . 3) 3 ((1 2 3))))) . 1)) (C (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS ~
. 3) 2 ((1 2))))) . 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2~
 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))) (2~
) (2)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (~
STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 (C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))) (2) (3)) ((C) . 1) (((2~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 2 2~
 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (2) (1)) ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 3 2 2) (CTE 2 ~
(C) 1 1 FV FV) (CTE 3 (C) 1 1 FV FV)) NIL 3 ((1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 3 4 5) (~
CTE 2 (C) 1 3 5 FV) (CTE 3 (C) 1 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 2 4 FV)) T41KITE 5 ((2 3 4 5) (1)) ((~
4 3 2 5) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV)~
 (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV)) T41SCOOP 5 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) . 1)) (NIL ((C) . 1) (~
((2 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 ~
FV)) T41SCOOP 5 ((2 3 4 5) (1)) ((2 3 5 4) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 2 4 5) (CTE 2 ~
(C) 1 1 3 FV) (CTE 3 (C) 2 4 5 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 3 4 FV)) T41SCOOP 5 ((2 3 4 5) (1))))) . 1)~
) (NIL ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV)~
 (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 ~
(C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) ~
(NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (~
CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 4 5 5) (CTE 2 (C~
) 1 3 3 FV) (CTE 3 (C) 2 2 4 FV) (CTE 4 (C) 1 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41FAN 5 ((2 3 4 5) (1))))) . 1)) (N~
IL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C) 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CT~
E 5 (C) 1 1 4 FV)) T41RING 5 ((2 3 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 2 5 5) (CTE 2 (C)~
 1 1 3 FV) (CTE 3 (C) 2 4 4 FV) (CTE 4 (C) 3 3 5 FV) (CTE 5 (C) 1 1 4 FV)) T41RING 5 ((2 3 4 5) (1))))) . 1)) (N~
IL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 2 3 4 5) (CTE 2 (C) 1 3 3 FV) (CTE 3 (C) 1 2 2 FV) (CTE 4 (C) 1 5 5 FV) (CT~
E 5 (C) 1 4 4 FV)) T41HOURGLASS 5 ((2 3 4 5) (1)) ((3 2 4 5) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C~
) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 ~
2 1)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 5 1 ~
3 1) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE ~
4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((~
4 3 2 1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CT~
E 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 ~
1 3 FV) (CTE 3 (C) 5 4 4 FV) (CTE 2 (C) 5 1 1 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1)~
)))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) ~
2 2 4 2) (CTE 5 (C) 4 3 FV FV)) (4 A A) 5 ((4 3 2 1)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C~
) 5 1 3 FV) (CTE 3 (C) 5 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2) (CTE 5 (C) 4 3 FV FV)) (4 A A) 5 ((4 3 ~
2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 ~
(C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 ~
FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1)))))~
 . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 5 3 1 FV) (CTE 1 (C) 5 3 ~
4 2) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE~
 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (~
NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CT~
E 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5~
 1 4 4) (CTE 2 (C) 5 1 1 FV) (CTE 1 (C) 3 2 4 2) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C)~
 . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) ~
3 1 FV FV)) (4 A A) 5 ((4 3 2 1)) ((2 1 4 3))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (~
C) 5 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE 1 (C) 5 2 4 2) (CTE 5 (C) 3 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ~
((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 ~
(C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((1 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4~
 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1~
) (((4 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 5 3 3 1) (CTE 1 (C) 5 4 2 FV) (CTE 5 (C) 2 1 ~
FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE~
 2 (C) 3 1 3 1) (CTE 1 (C) 5 2 2 FV) (CTE 5 (C) 4 1 FV FV)) (4 A A) 5 ((4 3 2 1)) ((1 2 3 4))))) . 1)) (NIL ((C)~
 . 1) (((1 (STRUC ((CTE 4 (C) 5 3 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 5 2 2 FV) (CTE 5 (C) ~
4 1 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) ~
(CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 5 (C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1)) ((1 2 3 4))))) . 1)) (NIL ~
((C) . 1) (((1 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 5 4 4 2) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 4 2 FV) (CTE 5 ~
(C) 3 2 FV FV)) (4 A A) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2~
 FV) (CTE 2 (C) 5 4 3 1) (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 B B) 5 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)~
) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 4 3 1)~
 (CTE 1 (C) 5 3 4 2) (CTE 5 (C) 2 1 FV FV)) (4 B B) 5 ((4 3 2 1)) ((4 3 1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRU~
C ((CTE 4 (C) 5 2 1 FV) (CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 3 FV FV)) (4 B~
 B) 5 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((3 4 1 2))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 5 2 1 FV) ~
(CTE 3 (C) 5 1 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 3 FV FV)) (4 B B) 5 ((4 3 2 1)) ((4 3 ~
1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 ~
(C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 4 (C) 5 1 3 ~
FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1)))))~
 . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 4 (C) 5 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 5 1 3 1) (CTE 1 (C) 2 3 ~
4 2) (CTE 5 (C) 4 2 FV FV)) (4 B B) 5 ((4 3 2 1))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE ~
2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ~
((C) . 1) (((2 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) (CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 ~
(C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 1 3 FV) ~
(CTE 3 (C) 1 1 2 FV) (CTE 4 (C) 5 5 2 1) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((5 (~
STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 FV) (CTE 3 (C) 4 1 1 FV) (CTE 4 (C) 5 5 3 2) (CTE 5 (C) 4 4 FV FV)) ~
T21 5 ((2 3) (1)) ((3 2) (1))))) . 1)) (NIL ((C) . 1) (((3 (STRUC ((CTE 1 (C) 2 2 3 3) (CTE 2 (C) 4 1 1 FV) (CTE~
 3 (C) 4 1 1 FV) (CTE 4 (C) 5 5 3 2) (CTE 5 (C) 4 4 FV FV)) T21 5 ((2 3) (1))))) . 1)) (NIL ((C) . 1) (((5 (STRU~
C ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 5 5 3 3) (CTE 5 (C) 4 4 FV FV)) (MBO~
NDS . 3) 5 ((1 2 3 4 5)) ((2 1 3 4 5))))) . 1)) (NIL ((C) . 1) (((2 (STRUC ((CTE 1 (C) 3 2 2 FV) (CTE 2 (C) 3 1 ~
1 FV) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 5 5 3 3) (CTE 5 (C) 4 4 FV FV)) (MBONDS . 3) 5 ((1 2 3 4 5))))) . 1)) (NIL ~
((C) . 1) (((4 (STRUC ((CTE 1 (C) 5 2 3 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 2) (CTE 5 (C) 1 4 FV FV) (CTE 4 ~
(C) 2 5 FV FV)) T03 5 ((4 5) (1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 5 4 3 3) (CTE 2 (C) 5 4 3 ~
3) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 2 1 FV FV)) T03 5 ((5 4) (1 2 3)) ((5 4) (2 1 3))))) . 1~
)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 5 4 2 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 5 1 2 2) (CTE 4 (C) 2 1 FV FV)~
 (CTE 5 (C) 3 1 FV FV)) T03 5 ((5 4) (1 2 3))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C~
) 3 1 1 1) (CTE 3 (C) 5 5 4 2) (CTE 4 (C) 3 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2))))) ~
. 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 5 5 4 2) (CTE 4 (C) 3 1 FV ~
FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2))))) . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 4 3 ~
2 2) (CTE 2 (C) 4 3 1 1) (CTE 3 (C) 5 5 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) ~
(3) (1 2)) ((4 5) (3) (2 1))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 3 2 2) (CTE 2 (C) 4 3 1 1) (CTE 3~
 (C) 5 5 2 1) (CTE 4 (C) 2 1 FV FV) (CTE 5 (C) 3 3 FV FV)) (MBONDS . 4) 5 ((4 5) (3) (1 2)) ((4 5) (3) (2 1)))))~
 . 1)) (NIL ((C) . 1) (((5 (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 5 2 1) (CTE 5 (C) 3 4 FV~
 FV) (CTE 4 (C) 3 5 FV FV)) (MBONDS . 4) 5 ((1 2 3 5 4)) ((2 1 3 5 4))))) . 1)) (NIL ((C) . 1) (((4 (STRUC ((CTE~
 1 (C) 3 3 2 2) (CTE 2 (C) 5 5 1 1) (CTE 3 (C) 4 4 1 1) (CTE 4 (C) 3 3 FV FV) (CTE 5 (C) 2 2 FV FV)) NIL 5 ((1 2~
 3 4 5))))) . 1)) (C ((C) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2)))))~
 . 2)) (NIL ((C ((C) . 1)) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) ~
(1)) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 1)) (NIL ((C (((2~
 (STRUC ((CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 2)) (NIL ((C (((2 (STRUC (~
(CTE 1 (C) 2 2 2 FV) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))))) . 1)) . 1) (((2 (STRUC ((CTE 1 (C) 2 2 2 FV~
) (CTE 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (1)) ((C) . 1)) . 1)) (NIL (((2 (STRUC ((CTE 1 (C) 2 2 2 FV) (CT~
E 2 (C) 1 1 1 FV)) (MBONDS . 3) 2 ((1 2))) (1)) ((C) . 1)) . 2)) (C ((C) . 1) (((3 (STRUC ((CTE 4 (C) 3 1 3 FV) ~
(CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2)) (4 A A) 4 ((4 3 2 1))))) . 1)) ((NIL (STRUC ((CTE ~
4 (C) 3 1 3 FV) (CTE 3 (C) 4 4 2 FV) (CTE 2 (C) 1 1 3 1) (CTE 1 (C) 2 2 4 2)) (4 A A) 4 ((4 3 2 1)) ((3 4 1 2)))~
 (3 4)) ((C) . 2)) (C ((C) . 1) (((2 (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C) 1 3 1 FV) (CTE ~
1 (C) 3 2 4 2)) (4 A A) 4 ((4 3 2 1))))) . 1)) ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 1 4 4 2) (CTE 2 (C)~
 1 3 1 FV) (CTE 1 (C) 3 2 4 2)) (4 A A) 4 ((4 3 2 1)) ((2 1 4 3))) (2 4)) ((C) . 2)) (C ((C) . 1) (((1 (STRUC ((~
CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 3 2 1))))) . 1))~
 ((NIL (STRUC ((CTE 4 (C) 3 1 3 FV) (CTE 3 (C) 2 4 4 2) (CTE 2 (C) 3 1 3 1) (CTE 1 (C) 2 4 2 FV)) (4 A A) 4 ((4 ~
3 2 1)) ((1 2 3 4))) (1 4)) ((C) . 2)) (C ((C) . 1) (((3 (STRUC ((CTE 4 (C) 2 1 3 FV) (CTE 3 (C) 1 4 2 FV) (CTE ~
2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2)) (4 B B) 4 ((4 3 2 1)) ((4 3 1 2))))) . 1)) ((NIL (STRUC ((CTE 4 (C) 2 1 3 FV~
) (CTE 3 (C) 1 4 2 FV) (CTE 2 (C) 1 4 3 1) (CTE 1 (C) 2 3 4 2)) (4 B B) 4 ((4 3 2 1)) ((3 4 2 1)) ((4 3 1 2)) ((~
3 4 1 2))) (3 4)) ((C) . 2)) (C ((C) . 1) (((4 (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 3 3 1) (CTE 3 (C) 1 1 2 ~
2) (CTE 4 (C) 2 1 FV FV)) T03 4 ((1 2 3)) ((2 1 3))))) . 1)) ((NIL (STRUC ((CTE 1 (C) 4 2 3 3) (CTE 2 (C) 4 3 3 ~
1) (CTE 3 (C) 1 1 2 2) (CTE 4 (C) 2 1 FV FV)) T03 4 ((1 2 3)) ((2 1 3))) (4 4)) ((C) . 2)) (C ((C) . 1) (((4 (ST~
RUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 4) 4 NIL))) . ~
1)) ((NIL (STRUC ((CTE 1 (C) 3 2 2 2) (CTE 2 (C) 3 1 1 1) (CTE 3 (C) 4 4 2 1) (CTE 4 (C) 3 3 FV FV)) (MBONDS . 4~
) 4 NIL) (4 4)) ((C) . 2)))